（来源：上观新闻）
图丨基于自然♦语言的代🥣🍸码正确性推理示⚽例（来源：ar🇮🇲Xiv） 如上图😑📛所示，FM-🌍🤸♂️Agent 逐段🇸🇾🇪🇸推理代码执行后⚙的程序🖥🇨🇺状态描述🍠🕉（注释部分）👩🦱，即后置条件🏏🧂，一直推理到函🇧🇪🚬数返回，检查📙最终的程序状态✂描述是否✔🇧🇩违背了🧘♀️🇻🇮规约里对🇹🇦🧴最终程序🐯状态的要求🔈。
4月17🥙〰日20🥄😰时40分🔱，雷军等🧲人顺利到达目的🧭地，全程总计1💎🍹313公里，🥽🏴平均能🧮🎏耗为1🇷🇪🗃4.6kWh🌞📽/100km，🙇♀️🇧🇾剩余电🚯量3%👒。对于大语言模型（🗯🍸LLM）😩来说，写出语法🔩🇦🇴正确的“砖块🇴🇲”轻而🎰📃易举，但距🍖🌡离用这些砖🦈块搭建一座安全📋稳固的“摩天大🍩楼”仍有🕸⚾显著的差距3️⃣。
